<?php
//******************************************************************
$script_start_time = microtime(true);
//******************************************************************
include "libs/commonlib.php";
include "config/config.php";
include "core/engine.php";
include "core/sql.php";
include "core/user.php";
include "core/procedure.php";
//******************************************************************
//ob_start("ob_gzhandler");
//******************************************************************
$engine = new engine();
//******************************************************************
if (SHOW_DEBUG_INFO) {
	showDebugInfo($engine, $script_start_time, microtime(true));
} else {
	echo "<!-- ".number_format((microtime(true) - $script_start_time), 5)." sec -->";
}
//******************************************************************
?>